Normal form

Results: 706



#Item
181Matrix theory / Abstract algebra / Singular value decomposition / Generalized eigenvector / Eigenvalues and eigenvectors / Diagonalizable matrix / Jordan normal form / Vector space / Matrix / Algebra / Linear algebra / Mathematics

MATHHomework 7 This homework will be collected at the end of class on Nov. 19, For each of the following matrices A, find a Jordan canonical form J and a matrix X such that A = XJX −1 . (a)

Add to Reading List

Source URL: hkumath.hku.hk

Language: English - Date: 2014-11-12 19:57:52
182Data analysis / Probability theory / Variance / Modular form / Orbifold / Normal distribution / Mathematical analysis / Statistics / Mathematics

Compositions and Patricia tries: no fluctuations in the variance!∗ † Helmut Prodinger Dedicated to Hosam Mahmoud on the occasion of his

Add to Reading List

Source URL: www.siam.org

Language: English - Date: 2005-07-06 08:18:45
183NP-complete problems / Exponential time hypothesis / Conjunctive normal form / Boolean satisfiability problem / Vertex cover / Set cover problem / Time complexity / Graph coloring / Independent set / Theoretical computer science / Computational complexity theory / Applied mathematics

On Problems as Hard as CNF-SAT∗ Marek Cygan† Holger Dell‡ Jesper Nederlofk

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-03-27 21:09:14
184Applied mathematics / Logic in computer science / Mathematical logic / Rewriting / Computability theory / Semi-Thue system / Differential equation / Normal form / Linear equation / Theoretical computer science / Mathematics / Formal languages

Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted

Add to Reading List

Source URL: rewriting.loria.fr

Language: English - Date: 2001-02-15 10:07:19
185Abstract algebra / Linear algebra / Mathematical series / Differential calculus / Vectors / Vector space / Formal power series / Linearization / Eigenvalues and eigenvectors / Algebra / Mathematics / Mathematical analysis

The Poincar´e-Dulac normal form theorem for formal vector fields Jordan Bell Department of Mathematics, University of Toronto April 3, 2014

Add to Reading List

Source URL: individual.utoronto.ca

Language: English - Date: 2014-04-03 12:53:03
186Abstract algebra / Minimal polynomial / Irreducible polynomial / Factorization of polynomials / Finite field / Frobenius normal form / Factorization of polynomials over a finite field and irreducibility tests / Algebra / Mathematics / Polynomials

Decomposition of Additive Cellular Automata

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:39
187Matrix theory / Jordan normal form / Jordan matrix / Matrix / Eigenvalues and eigenvectors / Canonical form / Singular value decomposition / Diagonalizable matrix / Algebra / Linear algebra / Mathematics

MATHHomework 8 This is the last homework. It will be collected at the end of class on Nov. 29, For each of the following matrices A, find its Jordan canonical form J. For the first three parts, find a

Add to Reading List

Source URL: hkumath.hku.hk

Language: English - Date: 2014-11-13 20:39:58
188Britney Spears / Christina Aguilera / Britney / Sony Music Entertainment / Mouseketeers / Music

Normalisation - Figure Six Figure Six - Third Normal Form TransactionNo borrowerID

Add to Reading List

Source URL: www.keithjbrown.co.uk

Language: English - Date: 2014-01-09 08:56:33
189Formal methods / Metalogic / Logic in computer science / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Boolean satisfiability problem / Conjunctive normal form / Mathematical proof / Mathematics / Theoretical computer science / Logic

Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-07-21 19:11:06
190Logical consequence / Deduction / Boolean algebra / Entailment / Disjunctive syllogism / Validity / Modus ponens / Disjunctive normal form / Relevance logic / Logic / Rules of inference / Propositional calculus

Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2011-03-29 14:48:50
UPDATE